La frase ipotetica inglese è una tipologia di proposizione tipica della lingua inglese, ma riscontrabile anche in altre lingue. Essa indica appunto un'ipotesi, una congettura, una supposizione che si fa e la conseguenza che comporta. La frase ipotetica inglese si divide a sua volta in due proposizioni: la proposizione principale (main clause) e la proposizione subordinata (subordinate clause / if-clause), in cui sempre (spessissimo in realtà) troveremo la preposizione if.
La main clause e la if-clause non devono necessariamente seguire un ordine ben definito, ma si può utilizzare la struttura che più si ritiene appropriata all'interno del contesto. È buona prassi tuttavia separare con una virgola la proposizione principale da quella subordinata, nel caso in cui si inizi con la subordinata.
Esempi:
In inglese vi sono tre tipi di proposizione ipotetica (chiamati, nella didattica della lingua, "1º tipo", "2º tipo", e "3º tipo") che possono essere semplicemente riassunte in: condizione presente che favorevolmente si realizzerà nel futuro (1º tipo); condizione presente che difficilmente si realizzerà nel futuro (2º tipo); condizione passata che non si verificherà mai più (3º tipo). A queste bisogna aggiungere una quarta forma ipotetica (tipo 0), chiamata frase ipotetica della realtà, la quale indica verità assolute, verificabili e riproducibili sempre e comunque.
Di seguito è data la descrizione più in dettaglio delle varie forme.